<?php

	$filename = "ticket.json";
	file_put_contents($filename, "");
